example(active(m1),1).
example(active(m7),-1).
example(active(m16),-1).
example(active(m21),1).
example(active(m26),1).
example(active(m31),1).
example(active(m36),-1).
example(active(m42),-1).
example(active(m47),1).
example(active(m52),-1).
example(active(m57),-1).
example(active(m62),-1).
example(active(m67),-1).
example(active(m72),-1).
example(active(m77),-1).
example(active(m82),-1).
example(active(m88),1).
example(active(m95),1).
example(active(m100),-1).
example(active(m106),1).
example(active(m111),-1).
example(active(m117),-1).
example(active(m122),-1).
example(active(m127),-1).
example(active(m132),-1).
example(active(m137),1).
example(active(m142),-1).
example(active(m147),-1).
example(active(m152),-1).
example(active(m157),1).
example(active(m163),-1).
example(active(m169),-1).
example(active(m174),-1).
example(active(m179),-1).
example(active(m184),-1).
example(active(m189),-1).
example(active(m194),-1).
example(active(m199),-1).
example(active(m204),-1).
example(active(m209),-1).
example(active(m214),-1).
example(active(m219),-1).
example(active(m224),-1).
example(active(m229),-1).
example(active(m234),-1).
example(active(m239),1).
example(active(m244),-1).
example(active(m249),1).
example(active(m254),1).
example(active(m260),-1).
example(active(m267),1).
example(active(m272),-1).
example(active(m277),-1).
example(active(m282),-1).
example(active(m287),-1).
example(active(m292),-1).
example(active(m298),-1).
example(active(m303),1).
example(active(m308),1).
example(active(m313),1).
example(active(m318),1).
example(active(m324),-1).
example(active(m329),-1).
example(active(m334),1).
example(active(m339),-1).
example(active(m345),-1).
example(active(m351),-1).
example(active(m356),1).
example(active(m361),-1).
example(active(m366),1).
example(active(m371),-1).
example(active(m376),-1).
example(active(m382),1).
example(active(m388),1).
example(active(m393),-1).
example(active(m398),-1).
example(active(m404),-1).
example(active(m409),1).
example(active(m414),1).
example(active(m419),-1).
example(active(m424),-1).
example(active(m429),-1).
example(active(m435),-1).
example(active(m440),1).
example(active(m446),-1).
example(active(m451),-1).
example(active(m458),-1).
example(active(m463),1).
example(active(m468),-1).
example(active(m473),1).
example(active(m478),1).
example(active(m483),1).
example(active(m489),1).
example(active(m494),-1).
example(active(m499),-1).
example(active(m504),1).
example(active(m510),1).
example(active(m516),-1).
example(active(m523),-1).
example(active(m528),-1).
example(active(m533),1).
example(active(m538),1).
example(active(m543),1).
example(active(m548),-1).
example(active(m553),-1).
example(active(m558),-1).
example(active(m563),1).
example(active(m568),1).
example(active(m573),-1).
example(active(m578),-1).
example(active(m584),-1).
example(active(m590),-1).
example(active(m596),1).
example(active(m601),1).
example(active(m606),-1).
example(active(m613),1).
example(active(m2),-1).
example(active(m8),1).
example(active(m17),-1).
example(active(m22),-1).
example(active(m27),1).
example(active(m32),-1).
example(active(m38),-1).
example(active(m43),-1).
example(active(m48),-1).
example(active(m53),-1).
example(active(m58),1).
example(active(m63),1).
example(active(m68),-1).
example(active(m73),-1).
example(active(m78),-1).
example(active(m83),1).
example(active(m90),-1).
example(active(m96),1).
example(active(m101),1).
example(active(m107),1).
example(active(m113),1).
example(active(m118),-1).
example(active(m123),1).
example(active(m128),1).
example(active(m133),-1).
example(active(m138),-1).
example(active(m143),-1).
example(active(m148),-1).
example(active(m153),-1).
example(active(m158),-1).
example(active(m164),-1).
example(active(m170),1).
example(active(m175),1).
example(active(m180),-1).
example(active(m185),1).
example(active(m190),1).
example(active(m195),-1).
example(active(m200),-1).
example(active(m205),-1).
example(active(m210),-1).
example(active(m215),-1).
example(active(m220),-1).
example(active(m225),1).
example(active(m230),-1).
example(active(m235),-1).
example(active(m240),-1).
example(active(m245),-1).
example(active(m250),-1).
example(active(m255),-1).
example(active(m261),1).
example(active(m268),-1).
example(active(m273),-1).
example(active(m278),-1).
example(active(m283),-1).
example(active(m288),-1).
example(active(m293),-1).
example(active(m299),-1).
example(active(m304),1).
example(active(m309),-1).
example(active(m314),-1).
example(active(m319),1).
example(active(m325),-1).
example(active(m330),-1).
example(active(m335),-1).
example(active(m340),1).
example(active(m346),-1).
example(active(m352),1).
example(active(m357),1).
example(active(m362),-1).
example(active(m367),1).
example(active(m372),-1).
example(active(m377),1).
example(active(m383),1).
example(active(m389),1).
example(active(m394),-1).
example(active(m399),-1).
example(active(m405),1).
example(active(m410),-1).
example(active(m415),1).
example(active(m420),1).
example(active(m425),-1).
example(active(m430),1).
example(active(m436),-1).
example(active(m441),1).
example(active(m447),-1).
example(active(m453),1).
example(active(m459),1).
example(active(m464),-1).
example(active(m469),1).
example(active(m474),-1).
example(active(m479),1).
example(active(m484),1).
example(active(m490),-1).
example(active(m495),-1).
example(active(m500),-1).
example(active(m505),1).
example(active(m511),-1).
example(active(m517),1).
example(active(m524),1).
example(active(m529),-1).
example(active(m534),1).
example(active(m539),-1).
example(active(m544),-1).
example(active(m549),1).
example(active(m554),-1).
example(active(m559),1).
example(active(m564),1).
example(active(m569),-1).
example(active(m574),-1).
example(active(m579),-1).
example(active(m585),1).
example(active(m592),-1).
example(active(m597),1).
example(active(m602),1).
example(active(m608),-1).
example(active(m4),1).
example(active(m11),1).
example(active(m18),-1).
example(active(m23),-1).
example(active(m28),-1).
example(active(m33),1).
example(active(m39),1).
example(active(m44),-1).
example(active(m49),-1).
example(active(m54),-1).
example(active(m59),-1).
example(active(m64),-1).
example(active(m69),-1).
example(active(m74),-1).
example(active(m79),1).
example(active(m84),1).
example(active(m91),1).
example(active(m97),1).
example(active(m102),1).
example(active(m108),-1).
example(active(m114),-1).
example(active(m119),1).
example(active(m124),1).
example(active(m129),-1).
example(active(m134),1).
example(active(m139),-1).
example(active(m144),-1).
example(active(m149),-1).
example(active(m154),-1).
example(active(m159),-1).
example(active(m165),-1).
example(active(m171),-1).
example(active(m176),1).
example(active(m181),1).
example(active(m186),-1).
example(active(m191),-1).
example(active(m196),-1).
example(active(m201),-1).
example(active(m206),-1).
example(active(m211),-1).
example(active(m216),-1).
example(active(m221),-1).
example(active(m226),-1).
example(active(m231),-1).
example(active(m236),-1).
example(active(m241),-1).
example(active(m246),-1).
example(active(m251),-1).
example(active(m256),1).
example(active(m262),1).
example(active(m269),1).
example(active(m274),1).
example(active(m279),-1).
example(active(m284),1).
example(active(m289),-1).
example(active(m294),1).
example(active(m300),-1).
example(active(m305),-1).
example(active(m310),-1).
example(active(m315),-1).
example(active(m321),1).
example(active(m326),-1).
example(active(m331),1).
example(active(m336),-1).
example(active(m341),-1).
example(active(m347),-1).
example(active(m353),-1).
example(active(m358),1).
example(active(m363),1).
example(active(m368),1).
example(active(m373),-1).
example(active(m378),-1).
example(active(m384),-1).
example(active(m390),1).
example(active(m395),-1).
example(active(m400),-1).
example(active(m406),1).
example(active(m411),1).
example(active(m416),-1).
example(active(m421),1).
example(active(m426),1).
example(active(m431),-1).
example(active(m437),1).
example(active(m443),-1).
example(active(m448),-1).
example(active(m454),-1).
example(active(m460),-1).
example(active(m465),1).
example(active(m470),1).
example(active(m475),1).
example(active(m480),-1).
example(active(m485),-1).
example(active(m491),-1).
example(active(m496),-1).
example(active(m501),-1).
example(active(m507),-1).
example(active(m512),1).
example(active(m518),1).
example(active(m525),-1).
example(active(m530),1).
example(active(m535),1).
example(active(m540),-1).
example(active(m545),-1).
example(active(m550),1).
example(active(m555),-1).
example(active(m560),1).
example(active(m565),1).
example(active(m570),-1).
example(active(m575),1).
example(active(m581),1).
example(active(m587),-1).
example(active(m593),-1).
example(active(m598),-1).
example(active(m603),1).
example(active(m609),1).
example(active(m5),-1).
example(active(m14),-1).
example(active(m19),-1).
example(active(m24),-1).
example(active(m29),-1).
example(active(m34),-1).
example(active(m40),1).
example(active(m45),-1).
example(active(m50),-1).
example(active(m55),-1).
example(active(m60),-1).
example(active(m65),-1).
example(active(m70),-1).
example(active(m75),-1).
example(active(m80),1).
example(active(m85),1).
example(active(m93),1).
example(active(m98),1).
example(active(m103),1).
example(active(m109),-1).
example(active(m115),1).
example(active(m120),1).
example(active(m125),1).
example(active(m130),-1).
example(active(m135),-1).
example(active(m140),-1).
example(active(m145),-1).
example(active(m150),1).
example(active(m155),-1).
example(active(m160),-1).
example(active(m166),-1).
example(active(m172),-1).
example(active(m177),-1).
example(active(m182),-1).
example(active(m187),-1).
example(active(m192),1).
example(active(m197),-1).
example(active(m202),-1).
example(active(m207),-1).
example(active(m212),1).
example(active(m217),1).
example(active(m222),-1).
example(active(m227),1).
example(active(m232),-1).
example(active(m237),-1).
example(active(m242),-1).
example(active(m247),-1).
example(active(m252),-1).
example(active(m258),1).
example(active(m263),-1).
example(active(m270),-1).
example(active(m275),1).
example(active(m280),-1).
example(active(m285),1).
example(active(m290),1).
example(active(m296),1).
example(active(m301),1).
example(active(m306),-1).
example(active(m311),-1).
example(active(m316),1).
example(active(m322),-1).
example(active(m327),1).
example(active(m332),-1).
example(active(m337),-1).
example(active(m342),1).
example(active(m348),1).
example(active(m354),-1).
example(active(m359),-1).
example(active(m364),1).
example(active(m369),-1).
example(active(m374),1).
example(active(m379),-1).
example(active(m385),-1).
example(active(m391),-1).
example(active(m396),-1).
example(active(m401),1).
example(active(m407),-1).
example(active(m412),-1).
example(active(m417),-1).
example(active(m422),1).
example(active(m427),-1).
example(active(m433),1).
example(active(m438),-1).
example(active(m444),-1).
example(active(m449),-1).
example(active(m455),-1).
example(active(m461),1).
example(active(m466),1).
example(active(m471),1).
example(active(m476),1).
example(active(m481),1).
example(active(m486),1).
example(active(m492),-1).
example(active(m497),1).
example(active(m502),1).
example(active(m508),-1).
example(active(m513),-1).
example(active(m519),1).
example(active(m526),1).
example(active(m531),-1).
example(active(m536),-1).
example(active(m541),-1).
example(active(m546),1).
example(active(m551),-1).
example(active(m556),-1).
example(active(m561),-1).
example(active(m566),1).
example(active(m571),-1).
example(active(m576),1).
example(active(m582),-1).
example(active(m588),1).
example(active(m594),-1).
example(active(m599),-1).
example(active(m604),-1).
example(active(m610),1).
example(active(m6),1).
example(active(m15),-1).
example(active(m20),-1).
example(active(m25),1).
example(active(m30),-1).
example(active(m35),-1).
example(active(m41),-1).
example(active(m46),1).
example(active(m51),-1).
example(active(m56),-1).
example(active(m61),-1).
example(active(m66),-1).
example(active(m71),-1).
example(active(m76),-1).
example(active(m81),1).
example(active(m86),1).
example(active(m94),1).
example(active(m99),-1).
example(active(m104),1).
example(active(m110),-1).
example(active(m116),-1).
example(active(m121),-1).
example(active(m126),1).
example(active(m131),-1).
example(active(m136),1).
example(active(m141),-1).
example(active(m146),1).
example(active(m151),-1).
example(active(m156),-1).
example(active(m161),-1).
example(active(m167),1).
example(active(m173),-1).
example(active(m178),1).
example(active(m183),1).
example(active(m188),-1).
example(active(m193),1).
example(active(m198),-1).
example(active(m203),-1).
example(active(m208),-1).
example(active(m213),-1).
example(active(m218),-1).
example(active(m223),1).
example(active(m228),-1).
example(active(m233),1).
example(active(m238),-1).
example(active(m243),-1).
example(active(m248),1).
example(active(m253),1).
example(active(m259),-1).
example(active(m264),1).
example(active(m271),-1).
example(active(m276),1).
example(active(m281),-1).
example(active(m286),-1).
example(active(m291),-1).
example(active(m297),-1).
example(active(m302),-1).
example(active(m307),-1).
example(active(m312),-1).
example(active(m317),-1).
example(active(m323),-1).
example(active(m328),1).
example(active(m333),1).
example(active(m338),1).
example(active(m343),-1).
example(active(m350),-1).
example(active(m355),-1).
example(active(m360),-1).
example(active(m365),-1).
example(active(m370),-1).
example(active(m375),-1).
example(active(m380),1).
example(active(m387),-1).
example(active(m392),-1).
example(active(m397),1).
example(active(m403),-1).
example(active(m408),1).
example(active(m413),1).
example(active(m418),-1).
example(active(m423),1).
example(active(m428),-1).
example(active(m434),1).
example(active(m439),1).
example(active(m445),-1).
example(active(m450),-1).
example(active(m457),-1).
example(active(m462),1).
example(active(m467),1).
example(active(m472),-1).
example(active(m477),-1).
example(active(m482),1).
example(active(m487),-1).
example(active(m493),1).
example(active(m498),1).
example(active(m503),1).
example(active(m509),1).
example(active(m514),1).
example(active(m520),1).
example(active(m527),-1).
example(active(m532),-1).
example(active(m537),-1).
example(active(m542),-1).
example(active(m547),1).
example(active(m552),-1).
example(active(m557),1).
example(active(m562),-1).
example(active(m567),-1).
example(active(m572),-1).
example(active(m577),1).
example(active(m583),-1).
example(active(m589),-1).
example(active(m595),-1).
example(active(m600),1).
example(active(m605),-1).
example(active(m612),1).
